number of red cards of famous football players